Zantema, H.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Transforming equality logic to propositional logic

Hans Zantema, Jan Friso Groote

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 660 KB

english, 2003

2

A Probabilistic Analysis of the Game of the Goose

Groote, Jan Friso, Wiedijk, Freek, Zantema, Hans

Journal:

Year:

2016

Language:

english

File:

PDF, 15.08 MB

english, 2016

3

Termination of term rewriting: interpretation and type elimination

Journal:

Journal of Symbolic Computation

Year:

1994

File:

PDF, 886 KB

1994

4

Total Termination of Term Rewriting is Undecidable

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 537 KB

1995

5

Minimizing sums of addition chains

Journal:

Journal of Algorithms

Year:

1991

Language:

english

File:

PDF, 981 KB

english, 1991

6

A Transformational Approach to Prove Outermost Termination Automatically

Matthias Raffelsieper, Hans Zantema

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 352 KB

english, 2009

7

Resolution and binary decision diagrams cannot simulate each other polynomially

J.F. Groote, H. Zantema

Journal:

Discrete Applied Mathematics

Year:

2003

Language:

english

File:

PDF, 200 KB

english, 2003

8

Simple termination of rewrite systems

Aart Middeldorp, Hans Zantema

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.25 MB

english, 1997

9

Termination modulo equations by abstract commutation with an application to iteration

Wan Fokkink, Hans Zantema

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

10

Simulating Liveness by Reduction Strategies

Jürgen Giesl, Hans Zantema

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 215 KB

english, 2003

11

Adenovirus-E1A proteins transform cells by sequestering regulatory proteins

D. S. Peeper, A. Zantema

Journal:

Molecular Biology Reports

Year:

1993

Language:

english

File:

PDF, 1021 KB

english, 1993

12

Global restrictions on ramification in number fields

Journal:

manuscripta mathematica

Year:

1983

Language:

english

File:

PDF, 672 KB

english, 1983

13

Integer valued polynomials over a number field

Journal:

manuscripta mathematica

Year:

1982

Language:

english

File:

PDF, 1.41 MB

english, 1982

14

Total termination of term rewriting

M. C. F. Ferreira, H. Zantema

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1996

Language:

english

File:

PDF, 1.72 MB

english, 1996

15

Adding constants to string rewriting

René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

16

The Termination Hierarchy for Term Rewriting

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2001

Language:

english

File:

PDF, 97 KB

english, 2001

17

A Complete Characterization of Termination of 0p 1q→ 1r 0s

Hans Zantema, Alfons Geser

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2000

Language:

english

File:

PDF, 166 KB

english, 2000

18

Termination of String Rewriting Proved Automatically

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 350 KB

english, 2005

19

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 487 KB

english, 2008

20

Longest segment problems

Journal:

Science of Computer Programming

Year:

1992

Language:

english

File:

PDF, 1.54 MB

english, 1992

21

The N-terminal transactivation domain of ATF2 is a target for the co-operative activation of the c-jun promoter by p300 and 12S E1A

Duyndam, Monique CA, van Dam, Hans, Smits, Paul HM, Verlaan, Matty, van der Eb, Alex J, Zantema, Alt

Journal:

Year:

1999

Language:

english

File:

PDF, 312 KB

english, 1999

22

Non-Looping String Rewriting

Geser, Alfons, Zantema, Hans

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

1999

Language:

english

File:

PDF, 24 KB

english, 1999

23

Relative Undecidability in Term Rewriting: I. The Termination Hierarchy

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

24

Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 142 KB

english, 2002

25

Impaired P105-NFKB processing and MHC class I down-regulation in adenovirus-12-transformed cells

Govert J. Schouten, Alt Zantema, Alex J. van der Eb

Journal:

Journal of Cancer Research and Clinical Oncology

Year:

1995

Language:

english

File:

PDF, 144 KB

english, 1995

26

Reduced binding activity of transcription factor NF-κB accounts for MHC class I repression in adenovirus type 12 E1-transformed cells

Ingeborg Meijer, Angelina J.M. Boot, Gieta Mahabir, Alt Zantema, Alex J. van Der Eb

Journal:

Cellular Immunology

Year:

1992

Language:

english

File:

PDF, 1.43 MB

english, 1992

27

Expression, purification, and functional characterization of adenovirus 5 and 12 E1A proteins produced in insect cells

Daniel S. Peeper, Alt Zantema, Steven F. Dowdy, Alex J. van der Eb

Journal:

Year:

1992

Language:

english

File:

PDF, 3.65 MB

english, 1992

28

P 18 Development of strategies to an optimal cellular uptake of antisense oligonucleotides

A. Zantema, F.C. van den Houten, A.J. van der Eb

Journal:

Journal of Controlled Release

Year:

1996

Language:

english

File:

PDF, 136 KB

english, 1996

29

The G1/S cell-cycle checkpoint in eukaryotic cells

Daniel S. Peeper, Alex J. van der Eb, Alt Zantema

Journal:

Biochimica et Biophysica Acta (BBA) - Reviews on Cancer

Year:

1994

Language:

english

File:

PDF, 1.69 MB

english, 1994

30

On tree automata that certify termination of left-linear term rewriting systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 367 KB

english, 2007

31

Generalizing DPLL and satisfiability for equalities

Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 209 KB

english, 2007

32

Levels of undecidability in rewriting

Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

33

Protein kinase C-α is an upstream activator of the IκB kinase complex in the TPA signal transduction pathway to NF-κB in U2OS cells

Alfred C.O Vertegaal, H.Bea Kuiperij, Shoji Yamaoka, Gilles Courtois, Alex J van der Eb, Alt Zantema

Journal:

Cellular Signalling

Year:

2000

Language:

english

File:

PDF, 452 KB

english, 2000

34

A rewriting approach to binary decision diagrams

Hans Zantema, Jaco van de Pol

Journal:

The Journal of Logic and Algebraic Programming

Year:

2001

Language:

english

File:

PDF, 237 KB

english, 2001

35

Binding Studies of a Spin-Labelled Oxidized Coenzyme to Bovine-Liver Glutamate Dehydrogenase

Alt ZANTEMA, Wolfgang E. TROMMER, Herbert WENZEL, George T. ROBILLARD

Journal:

Year:

1977

Language:

english

File:

PDF, 864 KB

english, 1977

36

Conformational Changes in Bovine-Liver Glutamate Dehydrogenase: a Spin-Label Study

Alt ZANTEMA, Hans J. VOGEL, George T. ROBILLARD

Journal:

Year:

1979

Language:

english

File:

PDF, 1000 KB

english, 1979

37

Magnetic-Resonance Studies of the Geometry of Bound Substrate, Coenzyme and Activator on Bovine-Liver Glutamate Dehydrogenase

Alt ZANTEMA, Marie-José DE SMET, George T. ROBILLARD

Journal:

Year:

1979

Language:

english

File:

PDF, 1.13 MB

english, 1979

38

Magnetic resonance studies on glutamate dehydrogenase

P.J. Andree, A. Zantema

Journal:

Year:

1974

Language:

english

File:

PDF, 323 KB

english, 1974

39

Cyclin-dependent kinases and pRb: regulators of the proliferation-differentiation switch

O. Kranenburg, A.J. van der Eb, A. Zantema

Journal:

Year:

1995

Language:

english

File:

PDF, 439 KB

english, 1995

40

Identification of the promoter region of chicken anemia virus (CAV) containing a novel enhancer-like element

Mathieu H.M. Noteborn, Claudia A.J. Verschueren, Alt Zantema, Guus Koch, Alex J. van der Eb

Journal:

Year:

1994

Language:

english

File:

PDF, 731 KB

english, 1994

41

cDNA micro array identification of a gene differentially expressed in adenovirus type 5- versus type 12-transformed cells

Alfred C.O. Vertegaal, H.Bea Kuiperij, Theo van Laar, Volkher Scharnhorst, Alex J. van der Eb, Alt Zantema

Journal:

Year:

2000

Language:

english

File:

PDF, 241 KB

english, 2000

42

Long-run order-independence of vector-based transition systems

Raffelsieper, M., Mousavi, M.R., Zantema, H.

Journal:

IET Computers & Digital Techniques

Year:

2011

Language:

english

File:

PDF, 293 KB

english, 2011

43

Localization of the E1 B proteins of adenovirus 5 in transformed cells, as revealed by interaction with monoclonal antibodies

Alt Zantema, Jack A.M. Fransen, Arja Davis-Olivier, Frans C.S. Ramaekers, G. Peter Vooijs, Bob Deleys, Alex J. Van Der Eb

Journal:

Year:

1985

Language:

english

File:

PDF, 2.10 MB

english, 1985

44

Ribosomal proteins L7L12 of Escherichia coli localization and possible molecular mechanism in translation

W. Möller, P.I. Schrier, J.A. Maassen, A. Zantema, E. Schop, H. Reinalda, A.F.M. Cremers, J.E. Mellema

Journal:

Journal of Molecular Biology

Year:

1983

Language:

english

File:

PDF, 3.79 MB

english, 1983

45

Induction of polyploidy in Adenovirus E1-transformed cells by the mitotic inhibitor colcemid

O. Kranenburg, A.J. Van der Eb, A. Zantema

Journal:

Year:

1996

Language:

english

File:

PDF, 452 KB

english, 1996

46

Erratum: Ribosomal proteins L7/L12 of Escherichia coli. Localization and possible molecular mechanism in translation

W. Möller, P.I. Schrier, J.A. Maassen, A. Zantema, E. Schop, H. Reinalda, A.F.M. Cremers, J.E. Mellema

Journal:

Journal of Molecular Biology

Year:

1983

File:

PDF, 15 KB

1983

47

Preparation and characterization of fluorescent 50S ribosomes. Specific labeling of ribosomal proteins L7/L12 and L10 of Escherichia coli

Zantema, Alt, Maassen, J. Antonie, Kriek, Jan, Moeller, Wim

Journal:

Year:

1982

Language:

english

File:

PDF, 1.91 MB

english, 1982

48

Transcription of the chicken anemia virus (CAV) genome and synthesis of its 52-kDa protein

Noteborn, Mathieu H.M., Kranenburg, Onno, Zantema, Alt, Koch, Guus, de Boer, Gerben F., van der Eb, Alex J.

Journal:

Year:

1992

Language:

english

File:

PDF, 615 KB

english, 1992

49

Inhibition of Cyclin-Dependent Kinase Activity Triggers Neuronal Differentiation of Mouse Neuroblastoma Cells

Onno Kranenburg, Volkher Scharnhorst, Alex J. Van der Eb and Alt Zantema

Journal:

The Journal of Cell Biology

Year:

1995

Language:

english

File:

PDF, 813 KB

english, 1995

50

Instability of Confined Water Films between Elastic Surfaces

de Beer, Sissi, Mannetje, Dieter ‘t, Zantema, Sietske, Mugele, Frieder

Journal:

Year:

2010

Language:

english

File:

PDF, 2.44 MB

english, 2010